/*
	bootld.h
	
	Identifiers used for bootloader
*/

#ifndef ISAMIPS_QEMU_BOOTLD
#define ISAMIPS_QEMU_BOOTLD

#include "universal.h"
#include "mips32r2.h"

void bootld(void) __attribute__ ((section (".tBOOTLD")));

extern uint32 LDSATEXTFW;

extern uint32 LDDATEXTFW;

extern uint32 LDSIZETEXTFW;

extern uint32 LDSADATAALL;

extern uint32 LDDADATAALL;

extern uint32 LDSIZEDATAALL;

#endif
